Varieties of Two-dimensional Cylindric Algebras. Part I: Diagonal-free Case
نویسنده
چکیده
We investigate the lattice Λ(Df2) of all subvarieties of the variety Df2 of two-dimensional diagonal-free cylindric algebras. We prove that a Df2algebra is finitely representable iff it is finitely approximable, characterize finite projective Df2-algebras, and show that there are no non-trivial injectives and absolute retracts in Df2. We prove that every proper subvariety of Df2 is locally finite, and hence Df2 is hereditarily finitely approximable. We describe all six critical varieties in Λ(Df2), which leads to a characterization of finitely generated subvarieties of Df2. Finally, we describe all square representable and rectangularly representable subvarieties of Df2.
منابع مشابه
Bare canonicity of representable cylindric and polyadic algebras
We show that for finite n ≥ 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an infinite number of non-canonical formulas. We also show that the class of structures for each of these varieties is non-elementary. The proofs employ algebras derived fr...
متن کاملVarieties of two-dimensional cylindric algebras II
In [2] we investigated the lattice Λ(Df 2) of all subvarieties of the variety Df2 of two-dimensional diagonal free cylindric algebras. In the present paper we investigate the lattice Λ(CA2) of all subvarieties of the variety CA2 of two-dimensional cylindric algebras. We prove that the cardinality of Λ(CA2) is that of the continuum, give a criterion for a subvariety of CA2 to be locally finite, ...
متن کاملVarieties of Two-dimensional Cylindric Algebras. Part Ii
In [2] we investigated the lattice Λ(Df2) of all subvarieties of the variety Df2 of two-dimensional diagonal free cylindric algebras. In the present paper we investigate the lattice Λ(CA2) of all subvarieties of the variety CA2 of two-dimensional cylindric algebras. We give a dual characterization of representable two-dimensional cylindric algebras, prove that the cardinality of Λ(CA2) is that ...
متن کاملA construction of cylindric and polyadic algebras from atomic relation algebras
Given a simple atomic relation algebra A and a finite n ≥ 3, we construct effectively an atomic n-dimensional polyadic equality-type algebra P such that for any subsignature L of the signature of P that contains the boolean operations and cylindrifications, the L-reduct of P is completely representable if and only if A is completely representable. If A is finite then so is P. It follows that th...
متن کامل